TAGs: early termination examples